Compositional Abstractions of Hybrid Control Systems

Abstraction is a natural way to hierarchically decompse the analysis and design of hybrid systems. Given a hybrid control system and some desired properties, one extracts and abstracted system while preserving the properties of interest. Abstractions of purely discrete systems is a mature area, whereas abstractions of continuous systems is a recent activity. In this paper we present a framework for abstraction that applies to discrete, continuous, and hybrid syustems. We introduce a composition operator that allows to build complex hybrid systems from simpler ones and show compatibility between abstractions and this compositional operator. Besides unifying the existing methodologies we also propose constructions to obtain abstractions of hybrid control systems. Comments Postprint version. Published in Formal Methods in System Design, Volume 14, Issue 2, April 2004, pages 203-238. The original publication is available at www.springerlink.com. Publisher URL: http://dx.doi.org/10.1023/B:DISC.0000018571.14789.24 This journal article is available at ScholarlyCommons: http://repository.upenn.edu/ese_papers/165 ! "# ! ! $ % ! & " ' ! " ! " ! ! # # ( ! " # ' $ # # % % # ! " " & % " ' # # # % " ) % ## ! ! ! " * ! "# # ! "# ( ! " % " "# ! "# ! "# # ! % $ ( $ " ! $ # # % ! " Æ ! "# $% & ' ( & ) & ' & * * + ' , & ' . . , " . " & ' / , & 0 , "! 1 2 & 3" 3 33 34 " 3 3 & ) & ) Æ 33 3 5 & 34 & & & 3 " & 34 * * ) * 1 & " & & 33 # ## ! + ! , # . / $ ! $ 0 00 1 123245153 ! + ! % " $ $ .. 62&72482 # & . 1 & & Æ " , . 6 & ' . & & 7 & & & 2 & ' " 4 " 3 & , . & 8 . . ( . 3 3# + &